#include "cpptest.h"

/* CPPTEST_TEST_SUITE_CODE_BEGIN AdditionalIncludes */
/* CPPTEST_TEST_SUITE_CODE_END AdditionalIncludes */

CPPTEST_CONTEXT("/Timer/Timer/timer.c");
CPPTEST_TEST_SUITE_INCLUDED_TO("/Timer/Timer/timer.c");

EXTERN_C_LINKAGE void TestSuite_add_timer_90389131_testSuiteBegin(void);
EXTERN_C_LINKAGE int TestSuite_add_timer_90389131_callTest(const char*);

CPPTEST_TEST_SUITE(TestSuite_add_timer_90389131);
        CPPTEST_TEST_SUITE_SETUP(TestSuite_add_timer_90389131_testSuiteSetUp);
        CPPTEST_TEST(TestSuite_add_timer_90389131_test_add_timer_1);
        CPPTEST_TEST(TestSuite_add_timer_90389131_test_add_timer_2);
        CPPTEST_TEST(TestSuite_add_timer_90389131_test_add_timer_3);
        CPPTEST_TEST(TestSuite_add_timer_90389131_test_add_timer_4);
        CPPTEST_TEST(TestSuite_add_timer_90389131_test_add_timer_5);
        CPPTEST_TEST_SUITE_TEARDOWN(TestSuite_add_timer_90389131_testSuiteTearDown);
CPPTEST_TEST_SUITE_END();
        
void TestSuite_add_timer_90389131_test_add_timer_1(void);
void TestSuite_add_timer_90389131_test_add_timer_2(void);
void TestSuite_add_timer_90389131_test_add_timer_3(void);
void TestSuite_add_timer_90389131_test_add_timer_4(void);
void TestSuite_add_timer_90389131_test_add_timer_5(void);

CPPTEST_TEST_SUITE_REGISTRATION(TestSuite_add_timer_90389131);

void TestSuite_add_timer_90389131_testSuiteSetUp(void);
void TestSuite_add_timer_90389131_testSuiteSetUp(void)
{
/* CPPTEST_TEST_SUITE_CODE_BEGIN TestSuiteSetUp */
/* CPPTEST_TEST_SUITE_CODE_END TestSuiteSetUp */
}

void TestSuite_add_timer_90389131_testSuiteTearDown(void);
void TestSuite_add_timer_90389131_testSuiteTearDown(void)
{
/* CPPTEST_TEST_SUITE_CODE_BEGIN TestSuiteTearDown */
/* CPPTEST_TEST_SUITE_CODE_END TestSuiteTearDown */
}

void TestSuite_add_timer_90389131_setUp(void);
void TestSuite_add_timer_90389131_setUp(void)
{
/* CPPTEST_TEST_SUITE_CODE_BEGIN TestCaseSetUp */
/* CPPTEST_TEST_SUITE_CODE_END TestCaseSetUp */
}

void TestSuite_add_timer_90389131_tearDown(void);
void TestSuite_add_timer_90389131_tearDown(void)
{
/* CPPTEST_TEST_SUITE_CODE_BEGIN TestCaseTearDown */
/* CPPTEST_TEST_SUITE_CODE_END TestCaseTearDown */
}


/* CPPTEST_TEST_CASE_BEGIN test_add_timer_1 */
/* CPPTEST_TEST_CASE_CONTEXT int add_timer(void) */
void TestSuite_add_timer_90389131_test_add_timer_1()
{
    /* Pre-condition initialization */
    /* Initializing global variable curr_index */ 
    {
         curr_index  = -1;
    }
    /* Pre-condition report */
    CPPTEST_REPORT_PTR("Input: struct timer_record * timer_records[0] ", ( timer_records[0] ));
    CPPTEST_REPORT_INTEGER("Input: int curr_index", ( curr_index ));
    {
        /* Tested function call */
        int _return  = add_timer();
        /* Post-condition report */
        CPPTEST_REPORT_INTEGER("Output: int _return", ( _return ));
        CPPTEST_REPORT_PTR("Output: struct timer_record * timer_records[0] ", ( timer_records[0] ));
        CPPTEST_REPORT_INTEGER("Output: int curr_index", ( curr_index ));
        /* Post-condition check */
        CPPTEST_POST_CONDITION_INTEGER("int _return", ( _return ));
        CPPTEST_POST_CONDITION_PTR("struct timer_record * timer_records[0] ", ( timer_records[0] ));
        CPPTEST_POST_CONDITION_INTEGER("int curr_index", ( curr_index ));
    }
}
/* CPPTEST_TEST_CASE_END test_add_timer_1 */

/* CPPTEST_TEST_CASE_BEGIN test_add_timer_2 */
/* CPPTEST_TEST_CASE_CONTEXT int add_timer(void) */
void TestSuite_add_timer_90389131_test_add_timer_2()
{
    /* Pre-condition initialization */
    /* Initializing global variable curr_index */ 
    {
         curr_index  = 0;
    }
    /* Pre-condition report */
    CPPTEST_REPORT_PTR("Input: struct timer_record * timer_records[0] ", ( timer_records[0] ));
    CPPTEST_REPORT_INTEGER("Input: int curr_index", ( curr_index ));
    {
        /* Tested function call */
        int _return  = add_timer();
        /* Post-condition report */
        CPPTEST_REPORT_INTEGER("Output: int _return", ( _return ));
        CPPTEST_REPORT_PTR("Output: struct timer_record * timer_records[0] ", ( timer_records[0] ));
        CPPTEST_REPORT_INTEGER("Output: int curr_index", ( curr_index ));
        /* Post-condition check */
        CPPTEST_POST_CONDITION_INTEGER("int _return", ( _return ));
        CPPTEST_POST_CONDITION_PTR("struct timer_record * timer_records[0] ", ( timer_records[0] ));
        CPPTEST_POST_CONDITION_INTEGER("int curr_index", ( curr_index ));
    }
}
/* CPPTEST_TEST_CASE_END test_add_timer_2 */

/* CPPTEST_TEST_CASE_BEGIN test_add_timer_3 */
/* CPPTEST_TEST_CASE_CONTEXT int add_timer(void) */
void TestSuite_add_timer_90389131_test_add_timer_3()
{
    /* Pre-condition initialization */
    /* Initializing global variable curr_index */ 
    {
         curr_index  = 1;
    }
    /* Pre-condition report */
    CPPTEST_REPORT_PTR("Input: struct timer_record * timer_records[0] ", ( timer_records[0] ));
    CPPTEST_REPORT_INTEGER("Input: int curr_index", ( curr_index ));
    {
        /* Tested function call */
        int _return  = add_timer();
        /* Post-condition report */
        CPPTEST_REPORT_INTEGER("Output: int _return", ( _return ));
        CPPTEST_REPORT_PTR("Output: struct timer_record * timer_records[0] ", ( timer_records[0] ));
        CPPTEST_REPORT_INTEGER("Output: int curr_index", ( curr_index ));
        /* Post-condition check */
        CPPTEST_POST_CONDITION_INTEGER("int _return", ( _return ));
        CPPTEST_POST_CONDITION_PTR("struct timer_record * timer_records[0] ", ( timer_records[0] ));
        CPPTEST_POST_CONDITION_INTEGER("int curr_index", ( curr_index ));
    }
}
/* CPPTEST_TEST_CASE_END test_add_timer_3 */

/* CPPTEST_TEST_CASE_BEGIN test_add_timer_4 */
/* CPPTEST_TEST_CASE_CONTEXT int add_timer(void) */
void TestSuite_add_timer_90389131_test_add_timer_4()
{
    /* Pre-condition initialization */
    /* Initializing global variable curr_index */ 
    {
         curr_index  = cpptestLimitsGetMaxInt();
    }
    /* Pre-condition report */
    CPPTEST_REPORT_PTR("Input: struct timer_record * timer_records[0] ", ( timer_records[0] ));
    CPPTEST_REPORT_INTEGER("Input: int curr_index", ( curr_index ));
    {
        /* Tested function call */
        int _return  = add_timer();
        /* Post-condition report */
        CPPTEST_REPORT_INTEGER("Output: int _return", ( _return ));
        CPPTEST_REPORT_PTR("Output: struct timer_record * timer_records[0] ", ( timer_records[0] ));
        CPPTEST_REPORT_INTEGER("Output: int curr_index", ( curr_index ));
        /* Post-condition check */
        CPPTEST_POST_CONDITION_INTEGER("int _return", ( _return ));
        CPPTEST_POST_CONDITION_PTR("struct timer_record * timer_records[0] ", ( timer_records[0] ));
        CPPTEST_POST_CONDITION_INTEGER("int curr_index", ( curr_index ));
    }
}
/* CPPTEST_TEST_CASE_END test_add_timer_4 */

/* CPPTEST_TEST_CASE_BEGIN test_add_timer_5 */
/* CPPTEST_TEST_CASE_CONTEXT int add_timer(void) */
void TestSuite_add_timer_90389131_test_add_timer_5()
{
    /* Pre-condition initialization */
    /* Initializing global variable curr_index */ 
    {
         curr_index  = cpptestLimitsGetMinInt();
    }
    /* Pre-condition report */
    CPPTEST_REPORT_PTR("Input: struct timer_record * timer_records[0] ", ( timer_records[0] ));
    CPPTEST_REPORT_INTEGER("Input: int curr_index", ( curr_index ));
    {
        /* Tested function call */
        int _return  = add_timer();
        /* Post-condition report */
        CPPTEST_REPORT_INTEGER("Output: int _return", ( _return ));
        CPPTEST_REPORT_PTR("Output: struct timer_record * timer_records[0] ", ( timer_records[0] ));
        CPPTEST_REPORT_INTEGER("Output: int curr_index", ( curr_index ));
        /* Post-condition check */
        CPPTEST_POST_CONDITION_INTEGER("int _return", ( _return ));
        CPPTEST_POST_CONDITION_PTR("struct timer_record * timer_records[0] ", ( timer_records[0] ));
        CPPTEST_POST_CONDITION_INTEGER("int curr_index", ( curr_index ));
    }
}
/* CPPTEST_TEST_CASE_END test_add_timer_5 */
